1. Dependability and computer engineering
پدیدآورنده: Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer systems-- Reliability.,Reliability (Engineering)
2. Integrated Formal Methods
پدیدآورنده: / Einar Broch Johnsen, Luigia Petre
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Integrated formal methods :
پدیدآورنده: Einar Broch Johnsen, Luigia Petre (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Génie logiciel.,Méthodes formelles (informatique),Systèmes informatiques.
4. Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
پدیدآورنده: Michael Butler, Luigia Petre, Kaisa Sere, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2335
5. Intensive Systems-Dependability and Computer Engineering : Concepts for Software
پدیدآورنده: / Petre, Luigia
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده :
E-BOOK
